#ifndef __PL_IO_H__
#define __PL_IO_H__
#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
#include <string.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <sys/mman.h>
#define PL_DDR_BASEADDR 				0x80000000


#ifdef __cplusplus
   extern "C" {
#endif
void Xil_Out32(unsigned long phyaddr, uint32_t  val);
int Xil_In32(unsigned long phyaddr);
void Xil_Out16(uint64_t phyaddr, uint16_t val);
int Xil_In16(uint64_t phyaddr);
uint8_t Xil_In8(uint64_t phyaddr);
int Read_PLDDR_BUFF(unsigned int addrOffset, uint32_t* buf, unsigned long len);
int Devmem_Read(unsigned long readAddr, uint32_t* buf, unsigned long len);
#ifdef __cplusplus
};
#endif
#endif
